#Thu Nov 20 10:11:01 GMT 2008
eclipse.preferences.version=1
tipsAndTricks=true
platformState=1227126792070
PROBLEMS_FILTERS_MIGRATE=true
